Section: Dissemination

Teaching - Supervision - Juries

Teaching

Note: We only list here the teaching activities of researchers, not the courses of full-time teachers in the team.

• Master

  • Benedikt Bollig and Paul Gastin, Non-Sequential Theory of Distributed Systems, 24 heures de cours, M2, ENS de Cachan

Supervision

• PhD :

  • Benoît Barbot, Acceleration for Statistical Model Checking [11] ; ENS Cachan, Defence on November 20, 2014. Supervisor : Serge Haddad and Claudine Picaronny.

  • Aiswarya Cyriac, Verification of Communicating Recursive Programs via Split-width[12] , ENS Cachan, Defence on January 28, 2014; Supervisors: Paul Gastin and Benedikt Bollig

  • Hernán Ponce de Léon, Testing Concurrent Systems Through Event Structures [13] , ENS Cachan, Defence on November 7, 2014; Supervisor: Stefan Haar, Co-supervisor: Delphine Longuet (U Paris SUd)

• PhD in progress :

  • Simon Theissing, Supervision for Multi-Modal Transport Systems, since September 2013, Supervisor Stefan Haar

  • Salim Perchy (Ecole Polytechnique), D-spaces, since November 2013, Supervisor Stefan Haar, Co-Supervisor Franck Valencia (Note : S. Perchy belongs to the COMETE team, not MExICo).

Juries

• Paul Gastin was the president of the PhD examination board of Vincent Carnino, U. Paris-Est, december 5, 2014.

• Stefan Haar was a reviewer of the theses of Sébastien CHEDOR at University of Rennes 1 and of Kari KÄHKÖNEN at Aalto University, Finland.

• Serge Haddad was a reviewer of the thesis of Ariane Piel defended in October 2014 at U. Paris-Nord (Villetaneuse), and of the thesis of Mouhamadou Tafsir Sakho at U. Orléans in December 2014. He also was a member of the PhD juries of Thomas Husja (UPMC, october 2014).

• Stefan Schwoon was a reviewer for the theses of Stanislav Böhm (University of Ostrava, Czechia) and Ala Eddine Ben Salem (Université Paris 6).